compat($T$; $l_{1}$; $l_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$iseg($T$; $l_{1}$; $l_{2}$) $\vee$ iseg($T$; $l_{2}$; $l_{1}$)